perm filename GRANTS[1,JMC]2 blob sn#853232 filedate 1988-02-09 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	1984 NSF Grant	(grant no.: DCR-8414393) (start: 1984 december 15)
C00003 ENDMK
CāŠ—;
1984 NSF Grant	(grant no.: DCR-8414393) (start: 1984 december 15)
((amounts: FY1985: $121,619) (FY1986: $134,328) (FY1987: $151,585))
renewal proposals should be sent 1985 Sept 1, 1986 Sept 1, 1987 June 1

This is the Shankar Ketonen grant.
John,	Here is the information on your new NSF grant (title: "Research
in Mechanical Theorem Proving"):
	
	Account no.:  	    2-DMA489
	Fund no.:	    163C895
	NSF ref. no.:	    CCR-8718605
	Amount:		    $172,351
	Performance period: 1/1/88-12/31/88 (plus 6 mo. flexibility period)

-Sharon Bergman
-------